#
#	copy $1 to $2 if contents are different
if cmp -s $1 $2
then	:
else	cp $1 $2
fi
